axiomatic specification - Alemán Inglés Diccionario